Section: New Software and Platforms

Quail

Functional Description

Privacy is a central issue for Systems of Systems and interconnected objects. We propose QUAIL, a tool that can be used to quantify privacy of components. QUAIL is the only tool able to perform an arbitrary-precision quantitative analysis of the security of a system depending on private information. Thanks to its Markovian semantics model, QUAIL computes the correlation between the system’s observable output and the private information, obtaining the amount of bits of the secret that the attacker will infer by observing the output.

• Participants: Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez and Andrzej Wasowski

• Contact: Axel Legay

• URL: https://project.inria.fr/quail/